ar X iv : 0 90 1 . 46 64 v 1 [ cs . L O ] 2 9 Ja n 20 09 Square root meadows ∗

ar X iv : 0 80 1 . 35 64 v 1 [ as tr o - ph ] 2 3 Ja n 20 08 Local Phase Space - Shaped by Chaos ?

ar X iv : 0 90 9 . 44 56 v 1 [ cs . A I ] 2 4 Se p 20 09 The Weighted C FG Constraint

We introduce the weighted CFG constraint and propose a propagation algorithm that enforces domain consistency in O(n|G|) time. We show that this algorithm can be decomposed into a set of primitive arithmetic constraints without hindering propagation.

ar X iv : 0 80 9 . 20 61 v 3 [ cs . L O ] 1 5 Ja n 20 09 Weyl ’ s Predicative Classical Mathematics as a Logic - Enriched Type Theory

We construct a logic-enriched type theory LTTw that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many results from that book in LTTw, including Weyl’s definition of the cardinality of a set and several results from real analysis, using the proof assistant Plastic that implements the logical framework LF. This case study sh...

ar X iv : 0 90 1 . 38 34 v 1 [ m at h . N T ] 2 4 Ja n 20 09 On the Inverse Problem Relative to Dynamics of the w Function

In this paper we shall study the inverse problem relative to dynamics of the w function which is a special arithmetic function and shall get some results.

ar X iv : 0 90 1 . 42 99 v 1 [ m at h . C O ] 2 7 Ja n 20 09 TRIANGLE - FREE TRIANGULATIONS

The flip operation on colored inner-triangle-free triangulations of a convex polygon is studied. It is shown that the affine Weyl group e Cn acts transitively on these triangulations by colored flips, and that the resulting colored flip graph is closely related to a lower interval in the weak order on e Cn. Lattice properties of this order are then applied to compute the diameter.